1

Translations of Logical Formulas and the Equiconsistency Problem

Year:
1994
Language:
english
File:
PDF, 369 KB
english, 1994
2

Church-Rosser Property for Some Extensions of λβ-Reducibility Relation

Year:
1991
Language:
english
File:
PDF, 591 KB
english, 1991